$\forall$$L$, ${\it L'}$:($\mathbb{Z}$ List). (0 $<$ $\parallel$$L$$\parallel$) $\Rightarrow$ l\_subset($\mathbb{Z}$;$L$;${\it L'}$) $\Rightarrow$ (imax{-}list($L$) $\leq$ imax{-}list(${\it L'}$))